Ecriture de la logique pour le calcul de la profondeur