[EN] The finite derived set property asserts that any infinite subset of a space has an infinite subset with only finitely many accumulation points. Among other things, we study this property in the case of a function space ...