Mathématique constructive — Roger Apery