function print_prochaine_emission_nom () {
document.write('');
}