/* fichier: debut.c */

#include <stdio.h>

main()
{
  printf("Hello world\n");
}