Deux ajouts

(que j'ai vraiment utilisés aujourd'hui) :)