Cliquer le lien Maxima Manual pour ouvrir la ressource.