COMPAGNIE GENERALE POUR LES DEVELOPMENTS OPERATIONELS DES RICHESSES SOUS-MARINES "CG. DORIS"