Un système d'aide à la preuve de compilateurs.