abregé de 7 .)