Mathématiques et finitude — Pierre Lochak