fonction de pompe du moulin