inégalité de Grothendieck