WIP Désencombrer le cache des fichiers produits en créant un fichier quasivide qui ne sert que pour son filemtime, au lieu de garder à cet usage une pleine copie du fichier produit, qui peut être gros - pour #4921

Fixes #4921 (closed), pour vos avis.