El tejedor de Segovia - Ruiz de Alarcón, Juan