Vérifiez que x(t) = Acos(omega t + phi) satisfait l'EDP \ddotx + omega^2 x = 0