Atelier B 4.0: Work in progress

Atelier B 3.7 is available