En su diccionario del teatro Patrice Pavis enumera 39 tipos de teatro, pero no menciona al teatro histórico. ¿Por qué? ¿No es un tipo de teatro? ¿Qué es?