En dublett ; *9