( Comptes lendus , t.