Talk:Gras conjecture