La version 3.7.1 de l’Atelier B est disponible. Elle corrige des anomalies mineures de l'atelier B sur le vérificateur de type et l'interface de preuve, et...