Si justement : d^3(f) + d(f) = y''' + y'.

Euh je veux dire f''' + f'.

Ah oui, j'ai rien dit ...

Lien :

d^3 + d = 0
y''' + y' = 0

=> d^3(f) + d(f) = y''' + y'

Conclure :

Bêtement, je dirai juste que dim E = 3 alors ...

En tout cas, merci d'avoir pris une heure pour m'aider, très sympa de ta part.

Il faut être plus précis que ça :
d^3 + d = 0 => pour tout f € E, d^3(f) + d(f) = 0 => pour tout f € E, f''' + f' = 0 => pour tout f € E, f € S => E est inclus dans S. C'est ça le lien entre E et S.
Après je te laisse conclure.

Conclusion :

E est inclus dans S
dim S = 3
dim E = 3

Donc E = S

Grand merci.

Voilà.

De rien.