contre-amiralen Gicquet des Touches.