Ajout de la marque de serialisation aux Predicats