Utiliser la version locale de boost/random