La pompe rouge dans le jardin a été utilisée pour arroser les fleurs.