Solution by Philippe Bruhat
