Talk:Le Potier's vanishing theorem