la modèle et la spécification de Raymond moulin