On étudie une sous-classe des suites b-multiplicatives rarefiées avec un pas de raréfaction p premier, et on trouve une structure asymptotique avec un exposant α∈]0,1[ et une fonction de raréfaction continue périodique. Cette structure vaut pour les suites qui contiennent des nombres complexes du disque unité (section 1.1), et aussi pour des systèmes de numération avec b chiffres successifs positifs et négatifs (section 1.2). Ce formalisme est analogue à celui décrit (pour le cas particuler de la suite de Thue-Morse) par Gelfond; Dekking; Goldstein, Kelly, Speer; Grabner; Drmota, Skalba et autres. Dans la deuxième partie, largement indépendante, on étudie la raréfaction dans les suites composées de -1,0 et +1. On se restreint davantage au cas où b engendre le groupe multiplicatif modulo p. Cette hypothèse est conjecturée (Artin) d'être vraie pour une infinité de nombres premiers. Les constantes qui apparaissent s'expriment alors comme polynômes symétriques des P(ζ^j) où P est un polynôme à coefficients entiers, ζ est une racine primitive p-ième de l'unité, j parcourt les entiers de 1 à p-1 (ce lien est explicité dans la section 1.3). On définit une méthode pour étudier les valeurs de ces polynômes symétriques, basée sur la combinatoire, notamment sur le problème de comptage des solutions des congruences et des systèmes linéaires modulo p avec deux conditions supplémentaires: les résidus modulo p utilisés doivent être non nuls et différents deux à deux. L'importance est donnée à la différence entre les nombres de soluions de deux congruences qui ne diffèrent que du terme sans variable. Le cas des congruences de la forme x₁+x₂+...+xₙ=i mod p équivaut à un résultat connu. Le mémoire (section 2.2) lui donne une nouvelle preuve qui en fait une application originale de la formule d'inversion de Möbius dans le p.o.set des partitions d'un ensemble fini. Si au moins deux coefficients distincts sont présents, on peut classer les réponses associées à toutes les congruences possibles qui ont un ensemble fixe de coefficients (de taille d), dans un tableau qu'on va appeler un "simplexe de Pascal fini". Ce tableau est une fonction δ:N^d→Z restreinte aux points de somme des coordonnées inférieure à p (un simplexe), avec deux propriétés: l'équation récursive de Pascal y est vérifiée partout sauf les points où la somme des coefficients est multiple de p (qui seront appelés les "sources" et forment un sous-réseau de l'ensemble des points entiers), et les valeurs en-dehors du simplexe induites par l'équation sont nulles (c'est démontré, en réutilisant la méthode précédente, dans la section 2.3 et en partie 2.4). On décrit un algorithme (section 2.4) qui consiste en applications successives de l'équation dans un ordre précis, qui permet de trouver l'unique fonction delta qui vérifie les deux conditions. On applique ces résultats aux suites b-multiplicatives (dans la section 2.5). On montre aussi que le nombre de sources ne dépend que de la dimension du simplexe d et de la longueur de son côté p. On formule la conjecture (partie 2.6) qu'il serait le plus petit possible parmi les tableaux de forme d'un simplexe de la dimention fixe et taille fixe qui vérifient les mêmes conditions. On montre un premier résultat sur les systèmes de deux congruences linéaires (section 2.5.4), et on montre (section 1.4) un lien avec une méthode de Drmota et Skalba pour prouver l'absence de phénomène de Newman (dans un sens précis), décrit initialement pour la suite de Thue-Morse et tout p tel que b engendre le groupe multiplicatif modulo p, et généralisé (section 1.4) à la suite (-1)^{nombre de chiffres 2 dans l'écriture en base 3 de n} appelée "++-". Cette problématique est riche en problèmes d'algorithmique et de programmation. Différentes sections du mémoire sont illustrées dans l'Annexe. La plupart de ces figures sont inédites.