dans les outils d'adminnistration du serveur DHCP tu trouveras les infos
cet outil permet peut être de faire une extraction sinon un copie screen (pourquoi faire compliqué)
sinon tu dois pouvoir sortir des baux DHCP en ligne de commande et donc impr ce listing dans un fichier txt