Faut-il appliquer un scellant sur un mur de briques ou de pierres ?