Algorithme de Sardinas-Patterson