Pas de double déduction ;)

4