Vérifiez que y = e^(-t)cos t est solution de y'' + 2y' + 2y = 0