La preuve de normalisation forte de F, faut déjà plus s'accrocher à son slip hein...