On ne peut pas encore pusher à ce moment-là, puisqu'on n'a pas encore fait le merge. Je n'ai pas non plus essayé la deuxième solution, qui mériterait un test. Mais ça vaut peut-être le coup de vois si cette remarque arrive en commentaire. Ca me semble effectivement un poil plus propre, même s'il faut retenir une commande un peu plus complexe. Je propose de laisser comme ça, et de vois si les commentaires nous indiquent des pistes d'améliorations.