Lois des sinus et des cosinus, formules de Héron et d'aire