Plugin «Date de modification manuelle».

Il ajoute un champ 'date_modif_manuelle' sur la table des articles.
Ce champ est éditable au même endroit que la date habituelle.
Cette date de modification n'est pas modifiée automatiquement par l'édition
ou des changements dans l'objet éditorial articles (contrairement à date_modif).

On peut utiliser par exemple en critère `{!par GREATEST(date,date_modif_manuelle)}`.

Le code est *presque* générique pour gérer plusieurs objets éditoriaux, mais ce n'est pas fait.