Document sur le site de l'IREM d'Aix-Marseille, par Pierrick Bouttier, Anne Crumière, Fernand Didier, Jean-Marie Fillia, Myriam Quatrini, Henri Roland. Il a pour but d’apporter un complément d’information dans le domaine de l’algorithmique et de la logique aux professeurs de mathématiques.