modèle logique d’un programme