Quand j'étais à la fac les profs qui nous apprenait ces équations nous disaient qu'on était loin d'avoir une démonstration formelle (et ils s'en fichait pas mal, j'étais en filière technique). Et voilà où on en est aujourd'hui, c'est beau !