Comme tu le suggérais Patenrond, il suffisait de regarder dans la doc
Page 106 du manuel pdf (il suffit de faire une recherche avec "numérotation").
De plus on apprends une chose intéressante:
"Si le dossier actuel possède le numéro 999 et contient 999 photos ou une photo intitulée 9999,
le déclenchement est désactivé. Si l’option Séquence num. images est activée, désactivez-la et formatez la carte mémoire ou insérez une autre carte mémoire dans l'appareil photo."
Pour continuer à numéroter après 9999 j'utilise XnView Media Detector (gratuit) qui détecte la carte SD, permet de renommer à la volée (DSC_0001 -> DSC_10001) plus plein d'autres trucs pratiques comme ventiler les photos de la carte par dossiers nommés par date de prise de vue, etc...
Francis