Quelques simplifications...