Ça dépend du différentiel de prix au final (et du type de pompe, mais bon)