Géométrie algébrique réelle by Jacek Bochnak