En fait, on a déjà l’index de position des éléments – sauf qu’il était créé en dehors...
[Plinn.git] / _zctl /
drwxr-xr-x   ..
-rw-r--r-- 1744 rebuild-catalog.py