Bonjour vous deux 👋
Il n'y a pas de solution directe mais une indirecte, sur un iPad avec iPad Os 17.1.1 (mais ne peut confirmé pour votre iPadOS 12 je crois)
Dans l'application Fichiers et la sélection de son disque dur externe
Si vous placer tous vos dossier dans un seul dossier unique et que vous appuyer longtemps sur ce dossier un menue se présente avec une des options soit "Lire le informations" que vous sélectionné

Qui donne la dimension total de tous les fichiers dans ce fichier unique

Comme vous connaissez la dimension de ce disque dur, une simple soustraction vous donne la capacité restante
ici un disque de 1To - 607 Go = environ 390 Go ( ne pas utiliser un calcul précis mais un approximation cela pour avoir une certaine marge de manœuvre)
Info prise sur mon Mac

Bon calcul 🦊