MAJ d'IDSPO-Core.kif et SCHISTOSPO.kif