Conjunto de extensiones para la librería Inform-INFSP 6