maj automatique de la sémantique
pic: version qui compile avec la version actuelle de l’atp