Un personaggio tra storia e letteratura: don Carlos nel teatro spagnolo del XIX secolo