Function CLOSE_GUICHET spec