pour tout m dans Mes Moutons heure_vidage(m)>=heure_vidage(ce mouton)