Auto da barca do inferno : edição escolar de Amélia Pinto Pais / Gil Vicente; desenho de Antónia Pestana