Plus de nom, plus de numéro : les navires de la Marine nationale pourraient devenir anonymes