Employees
| Concept | As at 2025-02-20 | As at 2024-02-20 | As at 2023-02-20 | As at 2022-02-20 | As at 2021-02-20 | 
|---|---|---|---|---|---|
| Employees | |||||
| Information about group | |||||
| Number of employees of group | |||||
| Number of employees | 
                                                695
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                680
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                680
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                725
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                713
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
| Average number of temporary employees | 
                                                4,229
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                4,155
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                3,969
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                3,922
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             | 
                                                3,951
                                                
                                                    
                                                        xbrli:pure
                                                    
                                                
                                             |