Merci ! J'avais parcouru les documents mais toutes les procédures décrites aboutissaient à un échec.
J'ai beaucoup bataillé pour reconfigurer cet iPhone mais réussi en fin de compte. D'abord téléchargé iPhone_4.0_64bit_12.4.1_16G102_Restore.ipsw qui est la dernière version iOS 12, et le logiciel iMyFone Fixppo pour l'installer. Mais j'obtenais un échec dans tous les modes de reconfiguration.
Mon erreur était de vouloir utiliser un mode qui conserverait les données alors qu'elles étaient stockées (à jour) sur iCloud.
J'ai fini par revenir à iTunes qui m'a indiqué que cette version de iOS 12 n'était pas "valide" et m'a proposé d'installer iOS 13, ce que j'ai fait finalement en choisissant l'opion "restore" qui a complètement reformaté l'iPhone... Et, bonne surprise ensuite, après avoir entré quelques réglages de base, j'ai pu récupérer toutes les données les plus récentes depuis leur sauvegarde sur mon ordi. Cette sauvegarde plus récente que celle d'iCloud avait été faite apparemment automatiquement juste avant la toute première tentative de mettre à jour le logiciel sous iTunes.
Morale de l'histoire : (1) veiller à activer les sauvegardes automatiques complètes, et (2) ne pas avoir peur de reformater l'iPhone ("restore") si une erreur grave survient.