Observons la spécification avec une implémentation simple