SMS: Recherches arithmétiques