le téhoreme de Pytagore était déjà connu par quelle autre civilisation?