Dans `action_ajouter_un_document_dist` s'assurer qu'il n'y ait pas

deux entrées dans `spip_documents` avec la même valeur pour
`fichier`. Si cela risque d'être le cas, renommer le fichier avant
l'insertion en base.

Cela n'arrive que si $file correspond à un document qui est deja dans
`IMG` (typiquement lors de la duplication d'un logo avec `logo_modifier()`, lors de la création d'une traduction).