Text this: Estudio del cuadrilátero de Saccheri como pretexto para la construcción de un sistema axiomático local