Récursivité sur les variables.