Le docteur Jules Roux, inspecteur-général du service de santé de la Marine — Philippe Aude