Je n'avais jamais réalisé cette distinction mais en effet la justification de Nil me semble tout à fait convaincante