Les contre-exemples de Frankfurt sont inoffensifs contre l’argument de la conséquence (consequence argument), l’argument qui, à partir du principe des possibilités alternatives et du déterminisme, montre que nous ne pouvons être tenus moralement responsables de nos actions. En effet, ils sont formulés soit dans un cadre déterministe, soit dans un cadre indéterministe. S’ils sont formulés dans un cadre indéterministe, ils sont inoffensifs parce qu’ils contreviennent à un principe méthodologique que nous défendons : le principe de non-négation des prémisses (PNNP). En fait, nous montrons que pour tout argument donné, il est proscrit de supposer la négation d’une prémisse afin de réfuter une autre prémisse à moins que l’attaque réussisse à réfuter les deux prémisses en question. Or, d’une part, les contre-exemples de Frankfurt indéterministes supposent explicitement qu’une prémisse de l’argument de la conséquence – le déterminisme est vrai – est fausse; et d’autre part, ils ne peuvent pas nous donner de raisons de croire en l’indéterminisme, ce que nous montrons grâce à des considérations sur la transmission de la justification. Construire des contre-exemples de Frankfurt indéterministes est donc incorrect pour des raisons méthodologiques et logiques. S’ils sont formulés dans un cadre déterministe, les contre-exemples de Frankfurt font face à une autre accusation d’entorse argumentative, présentée dans la défense du dilemme (Dilemma Defence) de Kane-Ginet-Widerker : celle de la pétition de principe. Nous inspectons et nuançons cette accusation, mais concluons qu’elle tient puisque les contre-exemples de Frankfurt déterministes supposent au final une analyse des agents contrefactuels dans les mondes déterministes et de la relation « rendre inévitable » que ne peuvent endosser ni les incompatibilistes de la marge de manœuvre (leeway incompatibilists), ni les incompatibilistes de la source (source incompatibilists) ni non plus les semicompatibilistes. Conséquemment, les contre-exemples de Frankfurt ne peuvent plus soutenir la forme de compatibilisme à laquelle ils ont donné naissance. L’incompatibilisme de la source ne peut plus être préféré à l’incompatibilisme de la marge de manœuvre ni non plus rejeter toute participation des possibilités alternatives dans l’explication de la responsabilité morale sur cette seule base. / Frankfurt-type examples are inoffensive against the Consequence argument, which purports to show that from both the principle of alternative possibilities and determinism, we can deduce that we are not morally responsible for our actions. Indeed, they require either a deterministic context or an indeterministic one. If they require indeterminism, they are harmless because they violate a methodological principle that we defend: the no-premise-negation principle (PNNP). In fact, we show that for each given argument, we cannot legitimately suppose the negation of a premise in order to refute another, unless the attack succeeds to refute both premises. Yet, on the one hand, indeterministic Frankfurt-type examples explicitly suppose that a premise of the Consequence argument – determinism holds – is false; and on the other hand, Frankfurt-type examples do not give us reasons to reject determinism, which we show with considerations on the transmission of justification. To build indeterministic Frankfurt scenarios is therefore incorrect for methodological and logical reasons. If they require determinism, Frankfurt-type examples are facing a different, yet very serious, argumentative accusation (presented in the Kane-Ginet-Widerker famous Dilemma defence): begging the question. We inspect and qualify this accusation. However, we ultimately claim that it still holds because a deterministic Frankfurt-type example supposes an analysis of the role of counterfactual agents and of the relation “render inevitable” in deterministic worlds that is acceptable neither for a leeway incompatibilist, a source incompatibilist or a semicompatibilist. Thus, Frankfurt-type examples no longer successfully support the form of compatibilism they contributed to give birth to. Also, source incompatibilism may not be preferred to leeway incompatibilism, nor reject all use of alternative possibilities in the explanation of moral responsibility on the sole basis of Frankfurt scenarios.