.times8 { color: black; font-size: 8px; line-height: 9px; font-family: "Times New Roman", Georgia, Times }
.times9 { color: black; font-size: 9px; line-height: 10px; font-family: "Times New Roman", Georgia, Times }
.times9justifie { color: black; font-size: 9px; line-height: 10px; font-family: "Times New Roman", Georgia, Times; text-align: justify }
.times10   { color: black; font-size: 10px; line-height: 11px; font-family: Verdana }
.times10nbol  { color: #000; font-weight: bold; font-size: 10px; line-height: 11px; font-family: Verdana }
.times10bor   { color: #f60; font-style: normal; font-weight: bold; font-size: 14px; line-height: 14px }
.times12orb { color: #f60; font-weight: bold; font-size: 12px; line-height: 12px; font-family: Times }
.timesanis10b   { color: #3c0; font-weight: normal; font-size: 10px; line-height: 11px; font-family: Verdana }
.times11 { color: black; font-size: 11px; line-height: 12px; font-family: "Times New Roman", Georgia, Times }
.times12 { color: black; font-size: 12px; line-height: 13px; font-family: "Times New Roman", Georgia, Times }
.times13  { color: black; font-size: 13px; line-height: 14px; font-family: "Times New Roman", Georgia, Times }
.times13vert { color: #008000; font-size: 13px; line-height: 14px; font-family: "Times New Roman", Georgia, Times }
.times14 { color: black; font-size: 14px; line-height: 15px; font-family: "Times New Roman", Georgia, Times }
.times15 { color: black; font-size: 15px; line-height: 16px; font-family: "Times New Roman", Georgia, Times }
.times17 { color: black; font-size: 17px; line-height: 18px; font-family: "Times New Roman", Georgia, Times }
.times17blanc { color: white; font-size: 17px; line-height: 18px; font-family: "Times New Roman", Georgia, Times }
.times17blancgras { color: white; font-weight: bold; font-size: 17px; line-height: 18px; font-family: "Times New Roman", Georgia, Times }
.times19 { color: black; font-size: 19px; line-height: 20px; font-family: "Times New Roman", Georgia, Times }
.times21 { color: black; font-size: 21px; line-height: 22px; font-family: "Times New Roman", Georgia, Times }
.times23 { color: black; font-size: 23px; line-height: 24px; font-family: "Times New Roman", Georgia, Times }
.times23bleu   { color: #0073ff; font-size: 23px; line-height: 24px; font-family: "Times New Roman", Georgia, Times }
.times27  { color: black; font-size: 27px; line-height: 20px; font-family: "Times New Roman", Georgia, Times }
.times31    { color: black; font-size: 31px; line-height: 25px; font-family: "Times New Roman", Georgia, Times }
.times35  { color: black; font-size: 35px; line-height: 28px; font-family: "Times New Roman", Georgia, Times }
.times35blanc { color: white; font-size: 35px; line-height: 36px; font-family: "Times New Roman", Georgia, Times }
.times35or { color: #f60; font-size: 35px; line-height: 38px; font-family: Times }
.times35orbold { color: #f60; font-weight: bold; font-size: 35px; line-height: 38px; font-family: Times }
.times40 { color: black; font-size: 40px; line-height: 41px; font-family: "Times New Roman", Georgia, Times }
.times45 { color: black; font-size: 45px; line-height: 46px; font-family: "Times New Roman", Georgia, Times }
.times50 { color: black; font-size: 50px; line-height: 51px; font-family: "Times New Roman", Georgia, Times }
.times55 { color: black; font-size: 55px; line-height: 55px; font-family: "Times New Roman", Georgia, Times }
.times60 { color: black; font-size: 60px; line-height: 61px; font-family: "Times New Roman", Georgia, Times }