Rétroactive (Explicit)

Prove (Explicit)