Compilation error: IRremote.h: No such file or directory

Attention, avec l'attribution de l'entrée de l'IR:
int RECV_PIN = A0; // the pin where you connect the output pin of TSOP4838
et

int led10 = 16;
int led11 = 14;
int led12 = 15;

Dans un UNO et un Pro Mini, ces 3 ports correspondent à:
A0, A1 et A2. Comme tu as attribué l'IR à A0 (14), il y a conflit.
Dans le Leonardo A0 = 18.

En changeant d'entrée à l'IR, j'ai testé ton programme, il fonctionne.

A+
Cordialement
jpbbricole