Dans cet exposé nous introduirons le modèle standard pour le calcul quantique : les circuits et la notion de co-processeur quantique. Puis nous analyserons la structure usuelle des algorithmes quantiques, quelles en sont les briques de base, comment les coder et ce qu’implique la compilation d’un programme quantique. Finalement, nous discuterons du développement de méthodes formelles pour le calcul quantique.