Origen evolutivo de los reptiles y de los dinosaurios. Los sinápsidos y los diápsidos