Combien de pompes l'ami ?