#include <stdio.h>

#define DEBUG

#ifndef PLATEFORME
#define PLATEFORME 100
#endif

#ifdef PLATEFORME
void affichageVersion(int version) {
  printf("Plateforme %d\n",PLATEFORME);
}
#endif

void main(void) {
#ifdef DEBUG
  printf("Debug\n");
#endif
#ifdef PLATEFORME
  affichageVersion(PLATEFORME);
#endif
}