translate English to French: Availability of the tool in Linux, Solaris, Mac OS X and Windows, thanks to the development of the graphic interface in the Qt environment and the transfer of the Atelier B core tools.
Disponibilité de l'outil sous Linux, Solaris, Mac OS X et Windows grâce au développement de l'interface graphique dans l'environnement Qt et au portage des outils du coeur de l'Atelier B.