Par décision du ministre de la défense en date du 10 janvier 2000 et à compter du 1er juin 1999, le brevet technique de l'armée de mer est attribué à l'ingénieur en chef de 2e classe des études et techniques de travaux maritimes Campos (Christophe, Jean, Michel).