Mir y Noguera, Miguel, véase Mir, Miguel