remarques de Bethelot
promela marche pas