Une suite finie d'instruction écrit dans un langage donnée, pour pouvoir être exécuté sur un machine donnée.