Obituary: Cyrille Tricot