Histoire illustrée de la plongée autonome dans la Marine nationale — Claude Robinet, Luc Guillou