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

Context paragraphs:
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).

Open Problems in Mathematics: Open Problems in Mathematics is a book, edited by John Forbes Nash Jr. and Michael Th.  Rassias, published in 2016 by Springer ().  The book consists of seventeen expository articles, written by outstanding researchers, on some of the central open problems in the field of mathematics.  The book also features an Introduction on "John Nash: Theorems and Ideas", by Mikhail Leonidovich Gromov.  According to the editors’ Preface, each article is devoted to one open problem or a “constellation of related problems”.

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.

Setun: Setun (Russian: Сетунь ) was a computer developed in 1958 at Moscow State University.  It was built under the leadership of Sergei Sobolev and Nikolay Brusentsov.  It was the most modern ternary computer, using the balanced ternary numeral system and three-valued ternary logic instead of the two-valued binary logic prevalent in other computers.  The computer was built to fulfill the needs of Moscow State University.  It was manufactured at the Kazan Mathematical plant.  Fifty computers were built from 1959 and production was halted in 1965.  The characteristic operating memory consisted of 81 words of memory, each word composed of 18 trits (ternary digits) with additional 1944 words on magnetic drum (total of about 7 KB).  Between 1965 and 1970, a regular binary computer was used at Moscow State University to replace it.  Although this replacement binary computer performed equally well, it had 2.5 times the cost of the Setun.  In 1970, a new ternary computer architecture, the Setun-70, was developed; it was implemented only in the form of a simulator program running on a binary computer.

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.

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.

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.

Nikolay Brusentsov: Nikolay Petrovich Brusentsov (Russian: Никола́й Петро́вич Брусенцо́в ; 7 February 1925 in Kamenskoe, Ukrainian SSR – 4 December 2014) was a Russian computer scientist, most famous for having built a (balanced) ternary computer, Setun, together with Sergei Sobolev in 1958.

Ivan Vinogradov: Ivan Matveevich Vinogradov {'1': ", '2': ", '3': 'ForMemRS', '4': "} (Russian: Ива́н Матве́евич Виногра́дов ; ] ; 14 September 1891 – 20 March 1983) (not to be confused with Askold Ivanovich Vinogradov of the Bombieri-Vinogradov theorem) was a Soviet mathematician, who was one of the creators of modern analytic number theory, and also a dominant figure in mathematics in the USSR.  He was born in the Velikiye Luki district, Pskov Oblast.  He graduated from the University of St. Petersburg, where in 1920 he became a Professor.  From 1934 he was a Director of the Steklov Institute of Mathematics, a position he held for the rest of his life, except for the five-year period (1941–1946) when the institute was directed by Academician Sergei Sobolev.  In 1941 he was awarded the Stalin Prize.  In 1951 he became a foreign member of the Polish Academy of Sciences and Letters in Kraków.

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.

Supporting paragraphs: Sergei Sobolev Mikhail Leonidovich Gromov
Answer: no