Je sais qu'il y a eu beaucoup d'agitation autour de ces appellations, notamment dans la marine. Bien entendu, il n'a jamais été question de supprimer les appellations spécifiques à la marine. Il s'agissait simplement d'une commodité de rédaction. Cependant, en voulant bien faire, il peut arriver que l'on choque.
Le Gouvernement se rallie donc totalement à l'amendement déposé par la commission.