forall{ insert pas }