Preuve NP-completude pour flexible interval scheduling (decision)