[en] According to Arabic grammar, a fa‑ must appear between the protasis (p) and the apodosis (q) of a hypothetical system in ʾin whenever the apodosis cannot be protasis, that is to say whenever the apodosis does not have the form faʿala (neutral perfect from the point of view of time) or yafʿal (imperfect apocopate). However, its presence is not only a formal constraint, it also meets a semantic necessity: systems ʾin p, q would mark a logical connection where q would be the logical consequent of p, its antecedent; systems ʾin p fa‑q would mark, on the other hand, a pragmatic connection, in other words everything else. The recognition, ancient by the medieval Arabic tradition and recent by the Arabist one, of two fundamental values of the fāʾ, causal (sababiyya) for the one, illative (taʿlīliyya) for the other, invites us, however, to glimpse that ʾin p fa‑q certainly harbours the pragmatic connection but also, for part, the logical one, but also that the distinction appears to be syntactically motivated, the fāʾ sababiyya preceding what is not an assertion, the fāʾ taʿlīliyya, on the other hand, anteceding precisely an assertion. This article then aims to show, based on a large number of examples, that this holds, both synchronically and diachronically, for if p fa‑q, where if stands for ʾin just as well as ʿiḏā and law. It will also show that when the apodosis is in the future tense, an interpretative ambiguity arises between causal and illative relations, and that the system, as it presents itself to us in all its diversity, is indeed a human material, and that we can therefore only deduce rules that are tendentially correct, but not definitive laws.

[fr] D'après la grammaire arabe, un fa‑ doit apparaître entre la protase (p) et l'apodose (q) d'un système hypothétique en ʾin dès lors que l'apodose ne saurait être protase, c'est‑à‑dire dès lors que l'apodose n'a pas la forme faʿala (accompli neutre du point de vue du temps) ou yafʿal (inaccompli apocopé). Sa présence ne relève toutefois pas que d'une contrainte formelle, encore répond‑elle à une nécessité sémantique : les systèmes ʾin p, q marqueraient une connexion logique où q serait le conséquent logique de p, son antécédent ; les systèmes ʾin p fa‑q marqueraient, eux, une connexion pragmatique, c'est‑à‑dire tout le reste. La reconnaissance, ancienne par la tradition arabe médiévale et récente par celle arabisante, de deux valeurs fondamentales du fāʾ, causal (sababiyya) pour l'un, illatif (taʿlīliyya) pour l'autre, invite toutefois à entrevoir que ʾin p fa‑q abrite certes la connexion pragmatique mais également, pour partie, la connexion logique, la distinction semblant syntaxiquement motivée : le fāʾ sababiyya précédant ce qui ne se présente pas comme une assertion, le fāʾ taʿlīliyya, lui, s'antéposant justement à une assertion. Cet article ambitionne alors de montrer, à partir d'un grand nombre d'exemples, que cela vaut, tant en synchronie qu'en diachronie, pour si p fa‑q, où si est mis à la place de ʾin tout aussi bien que de ʿiḏā et law. Il montrera, par ailleurs, d'une part que lorsque l'apodose est au futur, une ambiguïté interprétative se fait jour entre relation causale ou bien illative, et d'autre part que le système, tel qu'il se présente à nous dans sa diversité, relève bien d'un matériau humain et qu'en conséquence nous ne pouvons en déduire que des règles tendanciellement correctes, mais pas des lois définitives.