Menage dans dev_size.ml