Israel sends an extra infantry brigade to Lebanon’s border.