Preuves par complétion dans les variétés d'algèbres — Hélène Kirchner