Potentially one of the Coronamatic line: 1200 or 2200.
Might be a Coronet XL, but his looks like it has the Smith-Corona badging/name on the front left where the Coronet XL name was typically placed. https://typewriterdatabase.com/Smith+Corona.Coronamatic+Coronet+XL.86.bmys
The shape of the top of the 2500 isn't quite right: https://typewriterdatabase.com/Smith+Corona.Coronamatic+2500.86.bmys
The shapes of the Coronamatic 7000 and 8000 are wrong for this.
See also guesses at https://www.reddit.com/r/typewriters/comments/1wzwzvi/what_typewriter_did_derrida_use/