(sinon, en -Os le binaire de dash ne fait plus que 90 ko - et 70 ko après un strip)