Problèmes de Satisfaisabilité : phénomènes de seuil, résolution algorithme, applications