El teatro de Lope como fuente hagiográfica: "Juan de Dios y Antón Martín" y la biografía juandediana de Dionisio Celi .