Applying Robert Boltje's theory of canonical induction, we give a restriction-preserving formula expressing any p-permutation module as a  -linear combination of modules induced and inflated from projective modules associated with subquotient groups. The underlying constructions include, for any given finite group, a ring with a  -basis indexed by conjugacy classes of triples   where U is a subgroup, K is a  -residue-free normal subgroup of U, and E is an indecomposable projective module of the group algebra of  .

En application de la théorie de l'induction canonique de Robert Boltje, nous présentons une formule stable par restriction au moyen de laquelle tout module de p-permutation est exprimé sous forme de combinaison  -linéaire des inductions des inflations des modules projectifs associés à des groupes de sous-quotients. Les constructions concernées comprennent, pour tout groupe fini, un anneau qui a une  -base indexée par les classes de conjugaison des triplets   avec U un sous-groupe,   et E un module projectif indécomposable de l'algèbre de groupe de  .