diff --git a/restructuring/analysis/fpp_implicit_deadline/readme.md b/restructuring/analysis/fpp_implicit_deadline/readme.md
index abd55c5c4211a7592816ee12112f0a715f24037b..a0b7cd4b04ec10ec1709e9f6b07a1c09eac23f20 100644
--- a/restructuring/analysis/fpp_implicit_deadline/readme.md
+++ b/restructuring/analysis/fpp_implicit_deadline/readme.md
@@ -11,7 +11,7 @@ The proof is split in 4 files that are independent except the main one :
- main_theorem : formalization and proof that the job response time is bounded and reached.
- intermediate : definition of an analyse interval and proofs of lemmas on it.
-- workload_bound_fp : proof that the workload is bounded and this bound is reached.
+- workload_bound_fp : proof that the workload is bounded by the 'workload bound'.
- facts : usefull trivial lemmas about arithmetic and logic.
### Hypothesis