Nous décrivons le modèle probabiliste utilisé pour calibrer l'alignement local de deux séquences, quand un schéma de score additif est utilisé. Ce modèle est utilisé en particulier par le logiciel BLAST (Basic Local Alignment Search Tool), qui est employé fréquemment par les biologistes. Asymptotiquement, la probabilité associée au score d'un alignement optimal vérifie une loi des valeurs extrêmes. Nous analysons différents aspects des outils mathématiques (modèles de marche aléatoire, décomposition de Wiener-Hopf, théorie du renouvellement) utilisés dans ce modèle probabiliste.