Théorème de PythagoreCalcul littéral (1)