preuves préliminaires

Back to top