Les langages informatiques : de la pensée à l'exécution automatique