Modélisation formelle d'exigences et logiques ... - Theses.fr