.petit {  font-family: Arial, Helvetica, sans-serif; font-size: 9px}
.sansespace { margin-bottom: 0px ; margin-top: 0px}
.menu0 { font-family: Arial, Helvetica, sans-serif; font-size: 13px; font-weight: bold; color: #000099; text-decoration: none }
.menu1 { font-size: 11px; font-family: Arial, Helvetica, sans-serif; color: #0000AA; text-decoration: none ; font-weight: bold}
.menu2 { font-family: Arial, Helvetica, sans-serif; font-size: 11px; font-weight: normal; color: #0000BB; text-decoration: none}
.menu1:hover {  color: #CC0000; text-decoration: underline overline; background-color: #FFFFFF}
.menu0:hover {  color: #CC0000; text-decoration: underline overline; background-color: #FFFFFF}
.menu2:hover { color: #CC0000; text-decoration: underline overline; background-color: #FFFFFF }