header: added Ext as operator
rouquier.tex: new, section 4.1