La version 3.7.2 de l’Atelier B est disponible. Cette nouvelle version inclut le traducteur ComenC, nouvel outil qui permet de traduire des implémentations B0...