Pas de double déduction ;)

5