Décès à Marseille d'Henri-Germain Delauze fondateur de la Comex et pionnier de la plongée industrielle