En fait, pour la proposition à laquelle je pensais, il n'y a pas besoin de modifier la règle numéro 17
Mais je maintiens cette proposition-ci car je trouve compliquée cette histoire de récupérer le plus petit entier possible, pour peu qu'il y ait eu des abrogations...