Je ne sais pas si c’est susceptible d’aider quelqu’un d’autre dans le futur mais sait-on jamais : le problème venait d’une absence de communication réseau. Les LEDs ethernet ne s’allumaient pas sur le Pi. Cela semble lié à une petite incompatibilité du HUB USB, pourtant recommandé sur les forums avec le Pi car fournissant du 2,5A. Il me suffit de le débrancher, d’allumer le Pi, et de brancher immédiatement le HUB, et tout fonctionne bien. Le souci c’est que si je dois un jour redémarrer le Pi à distance, je ne suis pas sûr qu’il se lance, je pense que ce Hub va repartir chez Amazon et que je vais en tester un autre…
Update à moi-même : le sujet est discuté ici