$SPK о, la pompe est-elle terminée ? Les shorts peuvent-ils entrer en jeu ?