Talk:Weinstein's neighbourhood theorem