// la ligne de commande 

#include <stdio.h>

int main(int argc, char **argv) {
  printf("Bonjour\n");

  printf("%s\n", argv[0]);
  return (0);
}
