Lors d'un TP de programmation Web, un étudiant m'appelle car il rencontre un souci avec sa page en PHP. Après lecture attentive du code, je constate son erreur : il a utilisé le même nom pour deux variables différentes.
Celui-ci décide de corriger, et est même très fier de me montrer qu'il connaît les raccourcis clavier. Il fait "CtrlL+F", tape le nom de sa variable, entre un nouveau nom de variable, puis fait "Tout remplacer".
Étonnamment, ça ne marchait pas mieux. PEBKAC.