Mentions légales du service
Otherwise, we would accept (mpv <- ghost v; let x = mpv in ...) where both x and mpv are non-ghost.