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