formule de Lobatchevski