Méthode pour la caractérisation des groupes carboxyliques terminaux dans les protéines. Application à l'insuline