Merci pour ta réponse Sly54 !
Non, pas particulièrement. Je dirais quelques dizaines de fichiers, peut-être, mais depuis 10 jours il aurait dû avoir le temps de les indexer, quand même.
Et oui, merci, bonne idée, Dropbox. Je vais essayer de le couper pour voir, pour le diag. Mais j'aimerais...