y est le nom que j'ai donné a une fonction inconnue...rien à voir avec le y d'avant.
L'idée du raisonnement est de dire qu'il y a "autant" de solution dans l'une que dans l'autre équation...et on sait que dans l'équation sans second membre, on a l'unicité d'après le pré-requis (avec la condition y(0)=...)