[GtkAda] Modifier l'interface de l'intérieur.

Version imprimable