int BOUTONROUGE;
int BOUTONVERT;
void setup() {
  pinMode(4, INPUT); //BOUTON ROUGE
  pinMode(2, INPUT); //BOUTON VERT
  pinMode(14, OUTPUT); // LUMIÈRE ROUGE
  pinMode(12, OUTPUT); // LUMIÈRE JAUNE
  pinMode(13, OUTPUT); // LUMIÈRE VERTE
}

void loop() {
  BOUTONROUGE = digitalRead(4);
  BOUTONVERT = digitalRead(2);
  if (BOUTONROUGE == HIGH) {
    digitalWrite(13, LOW);
    digitalWrite(12, HIGH);
    delay(2000);
    digitalWrite(12, LOW);
    digitalWrite(14, HIGH);
  }
  if (BOUTONVERT == HIGH) {
    digitalWrite(14, LOW);
    digitalWrite(13, HIGH);
  }
}