Cela ne me parait pas vrai : prends a=1, b=0; tu trouves OA qui dépend de O !