Жан Мишель Вапперо: От логики к топологии многообразий