fonction d'assertion rajoutée