¿cuáles de los tres modelos podrían ser considerados
automáticos? ¿Por qué?