Modifications à la lib std