cuarto comit, añadiendo los ficheros fraccion y fraccion_spec con el modulo comprable y el operador <=>