[fix] Undeclared identifiers (Cour martiale du copier/coller)