( quoique quand on regarde la theorie des modeles ( l'espect semantique) c'est pas toujours très intuitif au premier abord, mais bon )