1 ressource : sémantique d'un programme