Question: Are both Sergei Sobolev and Mikhail Leonidovich Gromov members of the IHÉS in France?

full_context: Document 1: Evgenii Georgievich D'yakonov: D'yakonov was a Ph.D. student of Sergei Sobolev. He worked at the Moscow State University. He authored over hundred papers and several books. D'yakonov was recognized for his pioneering work in the 60s–80s on efficient spectrally equivalent preconditioning for linear systems and eigenvalue problems. In the last decade, strengthened Sobolev spaces became D'yakonov's main topic of research, e.g., (D'yakonov, 2004).
Document 2: Grigory Margulis: Gregori Aleksandrovich Margulis (Russian: Григо́рий Алекса́ндрович Маргу́лис , first name often given as Gregory, Grigori or Grigory; born February 24, 1946) is a Russian-American mathematician known for his work on lattices in Lie groups, and the introduction of methods from ergodic theory into diophantine approximation. He was awarded a Fields Medal in 1978 and a Wolf Prize in Mathematics in 2005, becoming the seventh mathematician to receive both prizes. In 1991, he joined the faculty of Yale University, where he is currently the Erastus L. De Forest Professor of Mathematics.
Document 3: Mikhail Leonidovich Gromov: Mikhail Leonidovich Gromov (also Mikhael Gromov, Michael Gromov or Mischa Gromov; Russian: Михаи́л Леони́дович Гро́мов ; born 23 December 1943), is a French-Russian mathematician known for work in geometry, analysis and group theory. He is a permanent member of IHÉS in France and a Professor of Mathematics at New York University.
Document 4: Sobolev inequality: In mathematics, there is in mathematical analysis a class of Sobolev inequalities, relating norms including those of Sobolev spaces. These are used to prove the Sobolev embedding theorem, giving inclusions between certain Sobolev spaces, and the Rellich–Kondrachov theorem showing that under slightly stronger conditions some Sobolev spaces are compactly embedded in others. They are named after Sergei Lvovich Sobolev.
Document 5: Sergei Sobolev: Sergei Lvovich Sobolev (Russian: Серге́й Льво́вич Со́болев ; 6 October 1908 – 3 January 1989) was a Soviet mathematician working in mathematical analysis and partial differential equations. He was born in St. Petersburg, and died in Moscow.
Document 6: Pyotr Novikov: Pyotr Sergeyevich Novikov (Russian: Пётр Серге́евич Но́виков ; 15 August 1901, Moscow, Russian Empire – 9 January 1975, Moscow, Soviet Union) was a Soviet mathematician.
Document 7: Nicolai Reshetikhin: Nicolai Yuryevich Reshetikhin (Russian: Николай Юрьевич Решетихин , born October 10, 1958 in Leningrad, Soviet Union) is a mathematical physicist, currently a professor of mathematics at the University of California, Berkeley and a professor of mathematical physics at the University of Amsterdam. His research is in the fields of low-dimensional topology, representation theory, and quantum groups. His major contributions are in the theory of quantum integrable systems, in representation theory of quantum groups
Document 8: Maxim Kontsevich: Maxim Lvovich Kontsevich (Russian: Макси́м Льво́вич Конце́вич ;   ; born 25 August 1964) is a Russian and French mathematician. He is a professor at the Institut des Hautes Études Scientifiques and a distinguished professor at the University of Miami. He received the Henri Poincaré Prize in 1997, the Fields Medal in 1998, the Crafoord Prize in 2008, the Shaw Prize and Fundamental Physics Prize in 2012, and the Breakthrough Prize in Mathematics in 2014.
Document 9: Gromov product: In mathematics, the Gromov product is a concept in the theory of metric spaces named after the mathematician Mikhail Gromov. The Gromov product can also be used to define "δ"-hyperbolic metric spaces in the sense of Gromov.
Document 10: Pavel Alexandrov: Pavel Sergeyevich Alexandrov (Russian: Па́вел Серге́евич Алекса́ндров ), sometimes romanized Paul Alexandroff or Aleksandrov (7 May 1896 – 16 November 1982), was a Soviet mathematician. He wrote about three hundred papers, making important contributions to set theory and topology.
Document 11: Grigori Perelman: Grigori Yakovlevich Perelman (Russian: Григо́рий Я́ковлевич Перельма́н ; ] ; born 13 June 1966) is a Russian mathematician. He made a contribution to Riemannian geometry and geometric topology.
Document 12: Vladimir Mazya: Vladimir Gilelevich Maz'ya (Russian: Владимир Гилелевич Мазья ; born December 31, 1937) (the family name is sometimes transliterated as Mazya, Maz'ja or Mazja) is a Russian-born Swedish mathematician, hailed as "one of the most distinguished analysts of our time" and as "an outstanding mathematician of worldwide reputation", who strongly influenced the development of mathematical analysis and the theory of partial differential equations. His early achievements include: his work on Sobolev spaces, in particular the discovery of the equivalence between Sobolev and isoperimetric/isocapacitary inequalities (1960), his counterexamples related to Hilbert's 19th and Hilbert's 20th problem (1968), his solution, together with Yuri Burago, of a problem in harmonic potential theory (1967) posed by , his extension of the Wiener regularity test to p –Laplacian and the proof of its sufficiency for the boundary regularity. Maz'ya solved V. Arnol'd's problem for the oblique derivative boundary value problem (1970) and F. John's problem on the oscillations of a fluid in the presence of an immersed body (1977). In recent years, he proved a Wiener's type criterion for higher order elliptic equations, together with M. Shubin solved a problem in the spectral theory of the Schrödinger operator formulated by Israel Gelfand in 1953, found necessary and sufficient conditions for the validity of maximum principles for elliptic and parabolic systems of PDEs and introduced the so–called approximate approximations. He also contributed to the development of the theory of capacities, nonlinear potential theory, the asymptotic and qualitative theory of arbitrary order elliptic equations, the theory of ill-posed problems, the theory of boundary value problems in domains with piecewise smooth boundary.
Document 13: Marcel Berger: Marcel Berger (14 April 1927 – 15 October 2016) was a French mathematician, doyen of French differential geometry, and a former director of the Institut des Hautes Études Scientifiques (IHÉS), France. Formerly residing in Le Castera in Lasseube, Berger was instrumental in Mikhail Gromov's accepting positions both at the University of Paris and at the IHÉS.
Document 14: Lev Pontryagin: Lev Semyonovich Pontryagin (Russian: Лев Семёнович Понтрягин , also written Pontriagin or Pontrjagin) (3 September 1908 – 3 May 1988) was a Soviet mathematician. He was born in Moscow and lost his eyesight due to a primus stove explosion when he was 14. Despite his blindness he was able to become one of the greatest mathematicians of the 20th century, partially with the help of his mother Tatyana Andreevna who read mathematical books and papers (notably those of Heinz Hopf, J. H. C. Whitehead, and Hassler Whitney) to him. He made major discoveries in a number of fields of mathematics, including algebraic topology and differential topology.
Document 15: Israel Gelfand: Israel Moiseevich Gelfand, also written Israïl Moyseyovich Gel'fand, or Izrail M. Gelfand (Yiddish: ישראל געלפֿאַנד‎ , Russian: Изра́иль Моисе́евич Гельфа́нд ; 2 September [O.S. 20 August] 1913 – 5 October 2009) was a prominent Soviet mathematician. He made significant contributions to many branches of mathematics, including group theory, representation theory and functional analysis. The recipient of many awards, including the Order of Lenin and the Wolf Prize, he was a Fellow of the Royal Society and professor at Moscow State University and, after immigrating to the United States shortly before his 76th birthday, at Rutgers University.
ground_truth: no