Entropie topologique positive sur une nilvariété d’après Leo T. Butler