Editado algunos elementos del menu. Agregada funcion getProductionOptions en Opciones de Doctrine.