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