>>>>> "Pascal" == Pascal Obry writes: Pascal> Elle existe. Il y a deux version. La version publique est Pascal> dérivée de la version Pro mais ACT ne peut en aucun cas la Pascal> certifier puisque tout le monde y a accès librement avec les Pascal> sources. C'est en partie vrai ("la version publique est dérivée de la version pro"), mais en partie faux ("puisque tout le monde y a accès librement avec les sources"). En effet, le processus de validation (certification) est un contrat tripartite: l'autorité de certification, qui garantit que les tests sont bien passés, le fabriquant de compilateur, qui garantit qu'il n'a pas arnaqué l'autorité de certification en codant par exemple tous les tests en dur dans le compilateur, et le client final. C'est pour cela que la version publique de GNAT est validable, mais pas validée, au sens où l'utilisateur final ne dispose pas d'un tel contrat. Même les clients d'ACT qui souhaitent une version validée doivent le demander explicitement, et conclure un accord avec ACT. Sam -- Samuel Tardieu -- sam@ada.eu.org