Résoudre un problème inverse en théorie additive des nombres consiste à fournir une description fine de la structure d'ensembles satisfaisant une condition contraignante portant sur la taille de leur somme. Cette description sera d'autant plus fine que la contrainte est proche de l'optimal. Par exemple la somme $A+B$ de deux ensembles finis non vides de nombres réels a pour taille (ici le cardinal) minimale la sommes des cardinaux moins un : $|A+B|\geq |A|+|B|-1$. Le problème inverse associé consiste à décrire les paires $(A,B)$ telle que l'égalité a lieu. L'environnement générique est celui d'un groupe $G$ (ou d'un semi-groupe) abélien fini ou non. Il faut y définir la notion de taille d'une partie et comparer les tailles de $A$, $B$ et $A+B$ afin de poser un problème inverse susceptible d'être résolu. Si $\tau(A)$ désigne la taille d'une partie $A$ de $G$, on dit que $(A,B)$ est une paire critique si $\tau(A+B)<\tau(A)+\tau(B)$. Le théorème de Kneser (1953) dans les groupes abéliens affirme que si $(A,B)$ est une paire critique (pour le cardinal), alors il existe un sous-groupe $H$ tel que $A+B=A+B+H$ et $|A+B|=|A+H|+|B+H|-|H|$. L'autre fameux théorème de Kneser porte sur les paires critiques de suites d'entiers que l'on mesure à travers leur densité asymptotique inférieure. Kneser (1956) a ensuite établi un énoncé qui porte sur les sous-ensembles de groupes abéliens localement compacts munis de leur mesure de Haar. Beaucoup plus récemment Jin (2006, 2007, 2010) et Griesmer (2013) ont démontré des résultats en termes de densité, notamment dans les groupes abéliens dénombrables. Le long de cet exposé, je donnerai des éléments historiques plus ou moins récents sur ces questions et traiterai un cas du théorème de Kneser qui se situe à l'interface des résultats initiaux de Kneser et ceux de Griesmer, à savoir celui des groupes abéliens $\sigma$-finis. Ce travail a été conduit en collaboration avec P-Y. Bienvenu (Dublin).