2.8 Le prouveur

Le prouveur automatique de l’Atelier est composé de :