> Je suis à la recherche d'un logiciel de "formalisation" des tests de > validation de logiciels, je m'explique: Peut-être Salomé TMF. https://wiki.objectweb.org/salome-tmf/ -- Don't worry. Life's too long. -- Vincent Sardi, Jr.