[Tutti-commits] 07/07: nouvelle extension des fichiers css + libellés (refs #6115)