Comme le titre l'indique, Quelle est exactement la règle du «comme si»? Une réponse typique que l'on obtiendrait est: La règle qui autorise toutes les transformations de code qui ne changent pas le comportement observable du programme De temps en temps, nous continuons à obtenir des comportements...