Preuves dans l'algèbre terminale, algorithmes de complétion — Laurence Cormier Puel