champs extra :
- mise a jour .gitignore pour ajouter config/mes_options.php
- ajouts ISBN et redacteurchef sur rubriques numéros pour export xml
Merge branch 'champsextra' into dev
Merge branch 'dev'