b ) A . Halléu.