Dans cette communication, François Heenen exposera les problèmes particuliers auxquels sont confrontés les recherches en sémantique procédurale, notamment celui d'établir des critères fixes…