Stéphan Kochen Version 0.1.8