Indécidabilité de la condition IRS | Publicación