/* code applique sur les fichiers intermediaires*/body    { background-color: #fff }a.ex1        { color: #f00; font-size: 10pt; text-decoration: underline }a:hover.ex1    { color: #f00; text-decoration: underline }a.ex2          { color: #f00; font-size: 10pt; text-decoration: underline }a:hover.ex2      { color: #f00; text-decoration: underline }a.ex3   { color: #f00; font-size: 10pt; text-decoration: underline }a:hover.ex3  { color: #f00; text-decoration: underline }.b1        { color: #f00; font-size: 26pt; font-weight: bold; background-color: transparent }.b2       { color: #f00; font-size: 26pt; font-weight: bold; background-color: transparent }.b3      { color: #f00; font-size: 26pt; font-weight: bold; background-color: transparent }.b4    { color: #f00; font-size: 13pt ; font-weight: bold ; background-color: transparent ; }.b5       { color: #f00; font-size: 11pt; font-style: italic; background-color: transparent }.b6     { color: #f00; font-size: 12pt; background-color: transparent }.b7     { color: #f00; font-size: 10pt; background-color: transparent }.b8          { color: #f00; font-size: 8.5pt; background-color: transparent }.b9        { color: #f00; font-size: 150pt; background-color: transparent }