- Un résultat de convergence fortement inspiré de ce que vous avez fait dans l'exo sur Baire du TD5
- Un résultat de régularité qui ressemblera fortement à la preuve de la continuité de l'exponentielle traitée en cours (le dernier avant le confinement, je crois)
- Il y aura aussi un petit bonus qui utilisera le théorème de convergence des dérivées (f_n-> f et f_n'-> g, alors...), théorème qui sera rappelé dans le sujet.
En temps normal, je donne 2 semaines à l'avance un énoncé précis (Lax-Milgram par exemple) qui devra être prouvé. Pas la peine de vous faire un dessin pour vous expliquer les raisons pour laquelle je ne procède pas ainsi cette année.