Mettre les données de PSL dans OF