@PHDTHESIS{mandl2000, url = " http://www.theses.fr/2000PA066530", title = "Sur la transition de phase de 3-sat", author = "MANDLER, JACQUES", year = "2000", pages = "113 p.", note = "Thèse de doctorat dirigée par Chrétienne, Philippe Sciences et techniques communes. Terre, océan, espace Paris 6 2000", note = "2000PA066530", }