Dans la version papier le sommaire est en police batang tandis que sur le pdf en polices Times. Cela est dû au fait que Acrobat distiller ne reconnaît apparement pas le batang. La différence est minime avouons-le.