add: if ( idle_stoppe ) demarrage_idle ();
context: void annulation_attente (){    if ( DEBUG )	printf ( "annulation_attente\n" );    patience_en_cours = 0;    if ( GTK_IS_WIDGET ( fenetre_patience ))	gtk_widget_destroy ( fenetre_patience );}