Le double infinitif allemand

On sait qu\'aux temps composés du passé (parfait ou passé-composé, plus-que-parfait, futur antérieur, à l\'indicatif et au subjonctif), c\'est l\'auxiliaire de conjugaison qui est conjugué, le verbe principal étant au participe passé et en fin de proposition, précédé de ses compléments:

On sait qu\'aux temps composés du passé (parfait ou passé-composé, plus-que-parfait, futur antérieur, à l\'indicatif et au subjonctif), c\'est l\'auxiliaire de conjugaison qui est conjugué, le verbe principal étant au participe passé et en fin de proposition, précédé de ses compléments: