Moitié produit scalaire, moitié EDO

Un petit problème pour méditer sur l’utilité des structures euclidiennes / préhilbertiennes.
Approximation (en moyenne quadratique) de solutions d’une ED linéaire.