BUG/DOC : fix bad merge of INSTALL